Application Driven Software Methodology for Automatic Compiler Generation
نویسنده
چکیده
Software tools were created in order to ease the compiler generation task. But the demand for new programming languages and thus for new compilers grows with the domain of computer applications. The new approaches for language design and compiler implementation, such as those spawned by the domain specific languages, rely on programming and are not easily followed by problem experts. On the other hand compiler design and implementation is a topic frequently eliminated from the curriculum. The consequence is that while the demand for programming language design and compiler implementation increases, expertise in the conventional methods for solving this problem decreases. Since one cannot expect the compiler to disappear from software systems of future computers we need new approaches for language design and compiler implementation that would not rely on conventional knowledge that sits at the basis of current technology. We are developing a new computer-based problem solving methodology where application domain (AD) experts develop problem solving algorithms using the natural language of their problem domains and information technology (IT) experts develop software tools that can execute the algorithms developed by AD experts without translating them into programs. This paper illustrates this new computer-based problem solving methodology using the domain of programming language design and compiler implementation. We show how a programming language expert can generate a parser without programming. A similar approach can be developed for all other compiler components as well as for their integration into a compiler.
منابع مشابه
Model Driven Testing of Web Applications Using Domain Specific Language
As more and more systems move to the cloud, the importance of web applications has increased recently. Web applications need more strict requirements in order to sup-port higher availability. The techniques in quality assurance of these applications hence become essential, the role of testing for web application becomes more significant. Model-driven testing is a promising paradigm for the auto...
متن کاملA Framework for the Efficient Production of Web Applications
To date developers can exploit a wealth of existing languages and tools when designing and implementing web applications; however, comprehensive and automated tools and techniques for producing these applications are still conspicuously lacking. Here we describe a framework for efficient production of web applications, which synergistically integrates techniques for automatic code generation wi...
متن کاملA Methodology for Design of Scalable Architectures in Software Radio Networks: a Unified Device and Network Perspective
This paper proposes the Tissue methodology as a novel methodology for analysis, design and synthesis of networked embedded systems and subsequent development of distributed architectural frameworks. The proposed method aims at reducing the development time through the use of reconfigurable HW/SW components and the application of automatic code generation techniques. We devise the usefulness of ...
متن کاملEfficient Java Code Generation of Security Protocols Specified in AnB/AnBx
The implementation of security protocols is challenging and error-prone, as experience has proved that even widely used and heavily tested protocols like TLS and SSH need to be patched every year due to low-level implementation bugs. A model-driven development approach allows automatic generation of an application, from a simpler and abstract model that can be formally verified. In this work we...
متن کاملA Mapping Approach of Code Generation for Arinc653-Based Avionics Software
Avionic software architecture has transit from a federated avionics architecture to an integrated modular avionics (IMA) .ARINC 653 (Avionics Application Standard Software Interface) is a software specification for space and time partitioning in Safety-critical avionics Real-time operating systems. Methods to transform the abstract avionics application logic function to the executable model hav...
متن کامل